Theory of computation - PDFSEARCH.IO - Document Search Engine

Theory of computation
Results: 2087

#	Item
721	Equality Is a Jump Paolo Boldi∗ Sebastiano Vigna∗ Dipartimento di Scienze dell’Informazione, Università degli Studi di Milano {boldi,vigna}@dsi.unimi.it Add to Reading List Source URL: vigna.di.unimi.it Language: English - Date: 2002-05-18 04:50:21 Computability theory Polynomials Turing machine Models of computation Field theory Irreducible polynomial Field extension Computability Polynomial ring Abstract algebra Mathematics Theoretical computer science
722	Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) Compilation of extended recursion in call-by-value functional languages Tom Hirschowitz · Xavier Leroy · J. B. Wells Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2009-12-15 04:49:16 Computability theory Recursion Theoretical computer science Models of computation Formal methods Lambda calculus Standard ML Free variables and bound variables Scheme Software engineering Computing Mathematics
723	A Scalable Probabilistic Classifier for Language Modeling Joel Lang Institute for Language, Cognition and Computation School of Informatics, University of Edinburgh 10 Crichton Street, Edinburgh EH8 9AB, UK Add to Reading List Source URL: www.aclweb.org Language: English - Date: 2011-05-20 16:12:48 Bayesian statistics Machine learning N-gram Maximum likelihood Hidden Markov model Principle of maximum entropy Training set Perceptron Entropy Statistics Probability and statistics Statistical theory
724	software construction Editors: Andy Hunt and Dave Thomas ■ The Pragmatic Programmers a n d y @ p r a g m a t i c p r o g r a m m e r. c o m ■ d a v e @ p r a g m a t i c p r o g r a m m e r. c o m State Machines Dave Add to Reading List Source URL: media.pragprog.com Language: English - Date: 2007-10-31 17:44:24 Theoretical computer science Computer science Finite-state machine Deterministic finite automaton State diagram State transition table State transition system Models of computation Theory of computation Automata theory
725	Topology Analysis of Car Platoons Merge with FujabaRT & TimedStoryCharts - a Case Study Christian Heinzemann1 , Julian Suck1 , Ruben Jubeh2 , Albert Z¨ undorf2 1 Add to Reading List Source URL: www.fujaba.de Language: English - Date: 2011-11-08 14:36:16 Models of computation Diagrams UML diagrams Graph rewriting State diagram Topology Reachability Graph Graph theory Mathematics Theoretical computer science
726	American Computer Science LeagueClassroom Division Questions 1 -5 Add to Reading List Source URL: www.acsl.org Language: English - Date: 2011-07-30 11:53:12 Functions and mappings Computability theory Theory of computation Binary arithmetic Octal Function Primitive recursive function Lambda calculus Mathematics Mathematical logic Theoretical computer science
727	FACULTY OF SCIENCE & ENGINEERING DEPARTMENT OF MATHEMATICS & STATISTICS SPECIAL MATHEMATICS ENTRANCE EXAMINATION HIGHER LEVEL Add to Reading List Source URL: www2.ul.ie Language: English - Date: 2011-03-31 07:33:29 Equations Polynomials Algebra Recurrence relation Theory of computation Cubic function Sine Linear differential equation Sturm–Liouville theory Mathematics Mathematical analysis Elementary algebra
728	Dedicated to the many bright young theoretical physicists that failed to escape the fate of having to work in institutions like banks. Preface New? In what sense? Surely I am not the only person who, after extensively Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2010-09-17 09:21:15 Classes of computers Models of computation Higher category theory Quantum field theory Topology Quantum computer Quantum mechanics Samson Abramsky Topological quantum computer Category theory Mathematics Physics
729	Quantum Merlin-Arthur Proof Systems: Are Multiple Merlins More Helpful to Arthur?∗ Hirotada Kobayashia b † Keiji Matsumotoa b ‡ Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2009-07-17 07:53:04 Quantum complexity theory Quantum information science Models of computation QMA Interactive proof system PP IP Soundness Quantum computer Theoretical computer science Applied mathematics Computational complexity theory
730	Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) The Design and Implementation of Typed Scheme: From Scripts to Programs? Sam Tobin-Hochstadt · Matthias Felleisen Add to Reading List Source URL: samth.github.io Language: English - Date: 2015-04-01 12:20:12 Type theory Functional languages Lambda calculus Data types Lisp programming language Racket System F Type system Typed lambda calculus Software engineering Programming language theory Computing

UPDATE